Texas army base renamed after Hispanic 4-star general