Which countries navy helped america when the revolutionary war