Modeling and Measurement of Ducted EM Propagation over the Gulf Stream