The Old Government House pool