Where was King Crimson's Red recorded?

Red was recorded at Olympic Studios in London between July and August 1974, with one live track (‘Providence’) recorded on 30 June 1974 at the Palace Theater in Providence, Rhode Island.