Cleaning a floating petri dish: How is a cruise ship sanitized after a coronavirus outbreak?

Earlier this year, coronavirus lurked on Princess Cruises’ Diamond Princess cruise ship. It eventually infected 712 people on board and killed 13, according to Johns Hopkins data.
https://www.usatoday.com/story/travel/cruises/2020/04/24/coronavirus-cleanup-how-cruise-ship-sanitized-after-outbreak-diamond-princess/5136469002/