PENSACOLA den 3 Juni.