When did navy blue become so? Before the navy started to wear that colour, and it became associated with them, what was it called?