High-frequency Doppler radar measurements of the Florida Current in summer 1983