Or they killed him and the body buried at sea was not his. The killing him is plausible. There is certainly a lot we will never know. Maybe it was a joint operation, for instance, seems like it but Pakistan can’t admit it. They could have given him sanctuary but eventually traded him in. Maybe while they did harbor him the U.S knew about it all along, but didn’t want to kill him yet.