ST. THOMAS den 16 juli.