The facts would be that all or almost all of the 911 terrorists were Saudi nationals. So we invaded everyone but Saudi Arabia. If what you state is true, he belonged in Guantanamo, not slaughtered in an Embassy.
Pakistan gave Osama Bin Laden safe harbor for years. Perhaps we should be at war against Pakistan.