October 4 race at the circuit near Kuala Lumpur's international airport would officially be designated the 'Gulf Air Bahrain Grand Prix in Malaysia'