Thales exercises its put option in Hanwha Thales (HTC)