2011 xp 900 problems, Navy SEALs in Pakistan