Михайловский пруд — от деревенского водоёма до столичной достопримечательности