The government estimate was based on the number of ships and boats North Korea is believed to have.