TOKYO -- North Korea provided about 45 tons of "yellowcake" uranium to Syria in September 2007 for production of fuel for an undeclared nuclear reactor, diplomatic and military sources knowledgeable on North Korean issues said Saturday. But the shipment was followed shortly by an Israeli air strike targeting the reactor and the uranium involved is believed to have been transferred to Iran around last summer, according to a Western diplomatic source.