‘We Honor Today All Who Served’: Mike Lee Commemorates Veterans Day