What countrys navy helped america when the revolutionary war