Text this: On the Decidability of Soundness of Workflow Nets with an Unbounded Resource