ATP Miami 2018: Il choker esordisce con 4K