CDC says U.S. cruises could resume in mid-July