John Adams and the US Navy