What name was given to the conflict between Great Britain and Spain from 1739 to 1748, with major operations largely ended by 1742?