Gardiner, Thomas, active 1690-1716, Storekeeper of the Ordnance