at Mangrove
Signage in Mangrove says Astyanax fasciatus, but Zootierliste says Astyanax mexicanus. Given than Astyanax mexicanus was formerly considered as a subspecies of Astyanax fasciatus, I would think that it's just a question of an old labelling?