1.2.2.010 The Pueblo de San Ildefonso Council hereby formally adopts the "Pueblo de San Ildefonso" as the official name of the Pueblo;