Should Codemonkey or someone search the file he has for Covfefe?

Colorado abbreviates CO which sort of matches.

Is there an ALvfefe, GAvfefe?