Derek Eisentrout was a bluepill janitor who worked in one of the warehouses affiliated with the machines. he was killed by the player?