danny devito as the terminator