PENSACOLA den 15 juli.