Malakka boğazının alternativi: Thai (Kra) kanalı