Mathura: breakfast at a nice (though empty) tourist restaurant to which we were guided by a young student