— ST. THOMAS den 10 juli.