— ST. THOMAS den 20 juli.