execution of Johnny Johnson