What is the name of the sea between Cuba and Mexico?

It is known as the Yucatan Channel. It formally divides the Gulf of Mexico and the Caribbean Sea.
It is known as the Yucatan Channel. It formally divides the Gulf of Mexico and the Caribbean Sea.