How Biden and his team decided to kill the world’s most wanted terrorist