Which country's navy helped america during the revolutionary war