Does tuxedo mask die?