U.S.-trained commandos in Philippines kill 10 militants: usinarmy