Hello.
What is the source for=
alt_name=Corona Island ?
There are no records of that name in the historical cartography of Colombia, nor in the current cartography of IGAC, nor in the nautical charts of DIMAR, nor in the official toponymy of the country.
