US Gas Exports and the Panama Canal Expansion: Serendipity on Display?