Gazprom Neft notes shipments of Badra oil to the US