en half bataljon infanteri från Portsmuth.