'$19.8M for Coronado SEAL Team Operations Support Facility