“International students contribute $45 billion to the United States economy, making it a significant export.”