IIRC US Red/Blue is actually both derived from JP Blue which was the updated 3rd game to their original JP Red/Green, which we never technically got