The Red Lion is a pub. It's a common name, originating from the early 1600s.