At this point, we don’t know their names, but four U.S. Marines were shot to death today in Chattanooga, Tennessee. From a news report: