Congrats to the Navy SEALs who pulled off this mission.