¿Qué nombre de ‘Avengers’ le pondrían a sus hijos?

Los padres de un recién nacido intentaron registrarlo con el nombre de «Thor Alberto», en el norte de Veracruz.  La pareja buscó registrar a su recién nacido con el nombre del personaje de Marvel y los «Avengers». Pero, ¿pudieron lograr?