@Dr. Wolverine my bad, I read 'baby tiger shark'. They caught a juvenile tiger shark and displayed it a few weeks after our visit. I guess I saw the sandtiger shark that was born in the tank, but it grew heavily so I wouldn't have recognized it.
I visited on September 2022. The baby was displayed along with the hammerheads next to the copper sharks and sandtigers. It was 1/4 the size of an adult.