The US military indeed spends a lot on Viagra—because it helps veterans with PTSD