Execution of Maclean, commonly known by the name of the Gentleman Highwayman (Marshall, 1795)