The other officer that lost his life: it was not related to the Trump Coup was it?