Feel free to use their normal names. They're unique enough that unless you get some clever nickname, they'd stick. Most famous pirates actually used their actual names.