The amendment to rename the opera house was adopted by a vote of 33-25, according to the House Appropriations Committee.

A House Republican’s bill would strip former President Kennedy’s name from the Washington institution created in the 35th commander in chief’s honor and instead have it known as ...