Measurement of vessels for the Panama Canal