Iran has reportedly continued oil exports — notably to China