Trump orders flags at half-staff for attack victims