boat on the Panama Canal / Gatun Lake.