Has anyone seen the movie Pentagon Wars? It's a true story, and very, very sad.