In the past month, the harbor has made significant progress in repairs, including partnering with a contractor to create a map of the harbor floor.

Mapmakers and teachers are re-thinking what to call the gulf of water between Mexico, the United States and Cuba after President Donald Trump ordered it renamed from the Gulf of Mexico to the Gulf of ...