The result was Redirect all to the respective ship articles. There's consensus against keeping these, but no consensus about whether to delete, redirect and/or merge. The redirection allows editors to decide for each individual article whether they want to merge any (sourced or sourceable) content from the history. I'm asking the nominator, Lettler, or others to implement the redirections because the closing script doesn't support automation of this step. Sandstein 13:15, 10 March 2021 (UTC)