Fun fact about the panama canal