Francis David's martyrdom after four hundred years