Isn’t there some kind of FBI tip line that these kinds of threats can be reported to?
The Secret Service handles these situations.
https://www.secretservice.gov/contact