Where can I get a Malaysian box turtle in Singapore?

Hi, I'd just like to know where I might be able to get a Malaysian box turtle. Based on what I've heard, they're smaller as well as significantly less aggressive than the red-eared slider, the only other type of turtle that you're allowed to keep as a pet in Singapore. Any advice would be greatly appreciated. Thanks in advance.

Where exactly is that aquarium located? Thanks