Would the government have spied on MLK Jr. today?