Talk:Ship mill

Is ship mill the correct English term?
Is ship mill the term used by English language sources, or is it just a direct translation from German? More apparently reliable English language sources refer to boat mills and floating mills, while ship mills tends to be referred back to Wikipedia. &middot; &middot; &middot; Peter Southwood (talk): 04:02, 12 July 2019 (UTC)