U.S. Navy: mine fragments, magnet point to Iran in Gulf tanker attack