Okinawan tebichi (braised pork trotters)