Did Hz Osman, Umar, and Ali (RA) have to be martyred like that?