How many marines or other personnel should the battleship carry for shore and boarding duties?
Short answerThe number depends on the final design, but the ship would probably embark a boarding or landing force as many modern warships do.
NotesThe number of marines would depend on the final design and the designer's choices. Some marines would probably be aboard, consistent with the boarding or landing forces carried by many contemporary warships.