There were other boats also docked in Key West.