The Suez Canal Crisis Is Over. Now It's Time to Add Up the Damages