This morning we were contacted by passengers aboard Royal Caribbean’s Independence of the Seas indicating that two dockworkers were killed when the cruise ship was leaving the port.

The passengers described the incident as occurring when the two dockworkers were in a small vessel trying to remove the last mooring lines. The Independence of the…