“Iran's regime forces include 150,000 personnel in the Islamic Revolutionary Guards Corps (IRGC), 200,000 in the Basij militia, 400,000 in the Artesh (regular military), and 250,000 in the national police.”