Title: Robert de Bruce, an Historical Play