Talk:List of ship launches in 1712