Portugalczycy o śmierci Diogo Joty i jego brata. „Straciliśmy dwóch mistrzów”