The Government Knows AGI Is Coming