If you are driving through your town or city in Texas and notice that federal flags are flying at half-staff, it's because ...