what body of water separates the U.S from cuba?