Pons' martyrdom and his legend