A whip having nine, often knotted, whipcords, formerly used for flogging as naval punishment. (source)