Wann wurde der französische König hingerichtet?