renamed Amarillo federal building