Un asteroide que debería llamarse Mauricio