Is the Panama Canal at Risk during an Earthquake?