A lien attached to property for nonpayment of a federal tax.