Round Pond — ornamental lake in Kensington Gardens, London