Hurricane Irma has put a temporarily halt to operations at Florida’s usually bustling cruise ports, forcing cruise companies to cancel several trips and shorten others. When the monster storm ripped through the Caribbean and Florida, it struck the world’s three busiest cruise ports — Port Miami, Port Canaveral and Port Everglades — as well as the…