Fun fact is that they have this record "only" because the east asians seas just kept screwing with everyone doing massive fleets. The mongols, koreans, japans ...