They would be in Mars orbit, but not planetside. “At Mars” might be a middle ground designator.