Number of union navy personnel in the civil war