Venezuela may have defaulted—but it’s still paying off one bond