The royal martyr lamented in a sermon preached at the Savoy on King Charles the Martyr's day, 1674/5