It is well known that Mumbai was known as Bombay before being renamed in December 1995. What was the name given to Bombay by the Portuguese before it passed into the hands of the British?