Where was the Royal Dutch Shell plc headquartered