Waves on the Florida coast