Did Tyrrell kill the King?