Guerra de la Liga de Augsburgo, 1688-1697 - Operaciones navales