Coral taxon names published in ‘Corals of the world' by J.E.N. Veron (2000): potential availability confirmed under Article 86.1.2 - ICZN (Bulletin of Zoological Nomenclature, 2011)