Inauguration ceremony for El Paso's new mayor, city reps