Panama Mayor Mayer Mizrachi’s Proposed Tunnel under the Canal Failed to Win The Boring Company’s Competition