Kung Pedro var barnlös.