double penny of King Henry III