4 Fun Facts About the Panama Canal