After being disappointed with the previous buck converter, this one actually seems to deliver what was promised. The specs at the Aliexpress shop indicate it is good for up to 10A without extra cooling, and that seems reasonable in my test.
https://youtu.be/pE6p1DhcWfc