What is the body of water that lies between Mexico and Florida