Miami mayor says Elon Musk will tunnel under the city for just $30M | Hacker News Reader