Vaughan Porch, Leicester Cathedral