Spanish Ladies was sung in the Royal Navy, but not as a shanty, just for recreation. You don't really need shanties in the Navy 'cos you've normally got plenty of people (about 600 on a 74 gun line of battle ship. The recreation was important to keep the crew happy(ish?) and all the polishing and cleaning was important to keep everyone busy.