poison gas used for execution Synonyms