Santa Fe Community College District 5.00% General Obligation Bonds, Series A, due August 1, 2025