Todo lo que sabemos es lo siguiente: