Through the American Red Cross’ Holiday Mail for Heroes program, students write cards for military service members