The trial of Charles the First, King of England, before the High Court of Justice, for high-treason