My university's textbook on collective bargaining claims that the term "strike" comes from the 1700s "when sailors enforced their demands for pay raises by striking the topsails, which made ships immovable." Was this actually effective in immobilizing a ship?