Budget officials, keen to the ramifications of Pilcher’s game, insisted that such an interpretation of the regulation would require presidential approval, but Kennedy made no final decision before leaving on a trip to make peace between quarrelsome Democratic factions in Texas. As soon as he left, an army of White House craftsmen stripped the Oval Office for a quick remodeling in his absence.