A city hall for El Paso, Texas