String diagram rewrite theory III: Confluence with and without Frobenius