According to 'Trends in International Arms Transfers, 2023' released by Swedish think tank, Stockholm International Peace Research Institute (SIPRI) in March 2023, which company was the world's top arms importer for the period 2019-23?