This became known as Operation Flavius.
Tento incident sa stal známy ako Operácia Flavius.