Slavný odstřelovač komanda SEAL byl zastřelen v Texasu