A 13-year-old boy is brought to clinic for evaluation of exertional leg fatigue and headaches. He reports that he has had calf pain when running for the past year and occasionally has nosebleeds. Vital signs: temperature 36.8°C (98.2°F), BP 158/86 mm Hg in the right arm and 104/68 mm Hg in the right leg, pulse 82/min. Physical examination shows bounding radial pulses with delayed and diminished femoral pulses. A harsh murmur is best heard over the interscapular area of the back. Chest radiograph shows inferior rib notching and a prominent indentation of the aortic contour creating a “3” shape. Which of the following is the most appropriate definitive management for this patient’s condition?