I had to check. And relieved to learn mma.gov is only the Marine Minerals Administration (dept of interior) which you may not like much but at least it's not that other thing.