The Revenue Cutter Service: Nine Cutters and the War of 1812