I assumed that Mumbai would now be the politically-correct name
for this city. But very many of the locals I met seemed to
still prefer Bombay.