Musk got the mayor’s attention four years ago when he posted a tweet saying road tunnels under Miami would help solve traffic gridlock. Trantalis tweeted back, saying Fort Lauderdale has tunnel ...