Life and death on the high seas: pages, cabin boys, and sailors in Spanish navigation of the 17th century