Trump orders flags to fly at half-staff after Lewis’s death