De Mazaredo, Joseph, active 1792-1801, Admiral; Captain General of Cadiz