"Although the river below the confluence [with the Ghaggar] is marked in our maps as Gaggar, it was formerly the Saraswatī; that name is still known amongst the people."