Segundo a Lei nº 4.320/64, a classificação das receitas públicas obedece a uma estrutura categorizada por natureza e origem. Qual das seguintes receitas é corretamente classificada como uma receita orçamentária de capital?