"5.334"^^ . "1.9812"^^ . "Sold, 1798" . "USRC Virginia was one of the first ten cutters operated by the United States' Revenue Cutter Service (later to become the US Coast Guard)."@en . "17.1196"^^ . . "Virginia"@en .