Fox: Teen on Royal Caribbean cruise attacked by HIV-infected illegal immigrant: police