— ST. THOMAS den 5 juli.