FYI, the term "gray man" is used to mean sharks, particularly great white sharks, by kayakers and surfers in the California area. I believe the term may also be used in come communities to generally refer to whatever or whoever poses the biggest threat, for example, IRS.