dictionary definitions for "executioners"