The head of OpenAI robots resigns over a Pentagon AI agreement