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

It took nearly all of March to disinfect the Diamond Princess cruise ship that was the source of more than 700 coronavirus cases.