Domino Data Lab Hires National Security Official and Pushes Federal AI