Old pond in Jubilee Park