Trump orders flags to be flown at half-staff on federal buildings