The Gulf Coast State College District Board of Trustees voted to fly the American flags at half-staff on all campuses for the ...