Definition of HIGHWAYMAN