bañador (formal/literary)