Bunch-Kaufman Factorization for Real Symmetric Indefinite Banded Matrices by United States Government