Flags flown at half-staff in honor of David F. Cargo