The guys mowing the Capitol lawn just kept right on working, oblivious to what was going on up top.