Anyone monitoring Arlington or Alexandria PD this morning? I heard that a police officer was shot in the Pentagon parking lot following a carjacking chase this a.m. Anyone know which police department the officer was from, and his condition? I haven't seen anything on the news or WTOP.