Who killed John Martinez?