And RIP former LAPD officer Mike Ruppert as well. Another hero from the same conflict.