Man suffers 'substantial' leg injury after alligator attack in Martin County