Bhimtal Lake’s history combines ancient legend with colonial-era engineering, being named after the Pandava hero Bhima.