With little debate, the House on Monday evening approved two noncontroversial bills, including one that names a Midland, Texas, courthouse after former Presidents George H.W. Bush and George W. Bush.

Rep. Randy Hultgren (R-Ill.) led the brief debate on that bill, and noted that the younger Bush led the U.S. response to the 9/11 attacks, which led to the killing of Osama bin Laden early Monday morning in Pakistan. The bill renaming the courthouse, H.R. 362, was approved by voice vote.

The House also approved H.R. 1423 in a 399-0 vote. That bill renamed an Oklahoma City post office after Spc. Michael E. Phillips. Phillips was killed in 2008 in Baghdad.