Public Women and One-Pant Men: Labor Migration and the Politics of Gender in Caribbean Costa Rica, 1870--1960