This is a duplicate, incorrect or outdated name for H. 'Don's Gator Hide'.