What kind of fleet did Holland have in the 17th century?