Over the course of the Revolutionary War, the U.S. Navy had 56 vessels. What was the highest number of vessels that were in operation at any one time?