CDC: U.S. Cruises Could Restart in Mid-July