@Kakapo Yes, there are multiple species of Mangrove growing in the hall. Definitely also Avicennia and Laguncularia, and I believe also multiple Rhizophora species, but I don't know the exact species. I could look them up for you if you really want to know.