I noticed that the flags here on base were at half-mast today. I thought it was for the GI killed in Afghanistan last night.