Actually they do indeed and often actually. We have some dead Marines, Soldiers, Airman, and Sailors who died as the direct result of terrorist attacks. The Pentagon is not a civilian target nor was Beirut, nor the Cole, nor Lockerbee, and a host of others. They attack targets of opportunity. BTW plenty of civilians work on that base likely about 50% of the base working population. There's a lot more there than just ships.