the Muchalinda Lake at the Mahabodhi Temple