Elon Musk and musician Grimes made headlines with the unique name chosen for their first child born in 2020. What was this widely discussed name?