El perro favorito de Musk es, de hecho, el perro marciano Marvin