Measurement of vessels for the Panama canal