Wouldn’t be suprising. Most of Port Royal Jamaica disappeared into the bay after an earthquake several hundred years ago.
Goes a long way toward explaining why there seem to be many SUNKEN CITIES off the coasts of CUBA, etc.