Pubs often have traditional names. In what century did the 3rd Duke of Rutland live