Is there a limit on how many infantry can be housed at sea by cruisers or battleships?