What happened? I am out of the loop. Former Trump administration workers stated that Trump permitted killing of Davis if his actions led to the murder of a FBI officer?