$24,550,000 RIVERSIDE COMMUNITY COLLEGE DISTRICT (Riverside and San Bernardino Counties, California) Certificates of Participation, Series 2023 FOS POSTED 1-19-23