Would the American government have declared martial law after announcing the asteroid's discovery?