Congress hasn’t officially declared war since 1942. Presidents launched these 11 military operations anyway.