Bush taps DC Circuit judge for the High Court