Was the French navy stronger than the British navy in the Revolutionary War?