Sea Ltd laid off 10% of workforce over past six months: The Information