Dual citizenship passport question.

My kids are dual citizens. Sailing out Ft. Lauderdale. They are us citizens. Do they need to bring both passports or just the USA one?