Santo Edmundo, Rei, Mártir