U.S. military upping anti-ISIS activity in Libya