FILE – In this March 14, 2020 file photo, Royal Caribbean International cruise ship docked at PortMiami, among other cruise ships, as the world deals with the coronavirus outbreak in Miami. Royal Caribbean Group is putting its cruising toes back in the water this summer.